Nuprl Lemma : equal-top
11,40
postcript
pdf
x
,
y
:top.
x
=
y
latex
Definitions
void
,
t
T
,
isect(
A
;
x
.
B
(
x
))
,
s
=
t
,
x
:
A
.
B
(
x
)
,
top
origin
x,y:top. x = y x,y:top. x = y 
Tx:A. B(x)